Books by author Claude Kirchner

Showing 1 – 5 out of 5 results

1. 

   Rewriting, Computation and Proof

   Hubert Comon-Lundh, Claude Kirchner, Hél | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Automata, Languages and Programming

   Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   110.51 €

   Buy
3. 

   Automata, Languages and Programming

   Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   110.51 €

   Buy
4. 

   Formal to Practical Security

   Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada | Springer, Berlin, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Automated Deduction - CADE-15

   Claude Kirchner, Helene Kirchner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.66 €

   Sale 7 %

   You save 4.28 €

   Buy

We send books in special cardboard delivery boxes. Find out more